Non-Classical - PDFSEARCH.IO - Document Search Engine

Non-Classical
Results: 915

#	Item
91	Characterization of the Axiomatizable Prenex Fragments of First-Order Gödel Logics Matthias Baaz∗ Technische Universität Wien A–1040 Vienna, Austria Add to Reading List Source URL: www.preining.info Language: English - Date: 2005-04-12 18:14:28 Logic Mathematical logic Abstraction Non-classical logic Model theory Predicate logic First-order logic Intermediate logic Many-valued logic FO Kripke semantics Fuzzy logic
92	What will they say? – Public Announcement Games Thomas ˚ Agotnes∗ Department of Information Science and Media Studies, University of Bergen, P.O. Box 7802, N-5020 Bergen, Norway, Add to Reading List Source URL: folk.uib.no Language: English - Date: 2010-07-02 04:54:56 Logic Modal logic Philosophy Formal epistemology Abstraction Artificial intelligence Non-classical logic Philosophical logic Dynamic epistemic logic Common knowledge Epistemic modal logic Kripke semantics
93	Context Object Theory Computational Models Add to Reading List Source URL: mally.stanford.edu Language: English Logic Philosophy Abstraction Modal logic Modality Non-classical logic Philosophical logic Model theory First-order logic
94	Quantifier Elimination for quantified propositional logics on Kripke frames of type ω Matthias Baaz and Norbert Preining? Institute for Algebra and Computational Mathematics University of Technology, Vienna, Austria baa Add to Reading List Source URL: www.preining.info Language: English - Date: 2014-04-03 01:14:55 Model theory Non-classical logic Modal logic Philosophical logic Kripke semantics Sheaf theory Propositional calculus Interpretation Mathematical logic Intuitionistic logic First-order logic
95	Coalitions and Announcements ◦ Thomas Agotnes Hans van Ditmarsch Add to Reading List Source URL: folk.uib.no Language: English - Date: 2008-02-06 12:58:25 Formal epistemology Modal logic Artificial intelligence Non-classical logic Philosophical logic Dynamic epistemic logic Symbol Epistemic modal logic Common knowledge Tiny Encryption Algorithm Kripke semantics Interpretation
96	First-order satisfiability in Gödel logics: an NP-complete fragment Matthias Baaza,1 , Agata Ciabattonia,2 , Norbert Preininga,b,3 a b Add to Reading List Source URL: www.preining.info Language: English - Date: 2014-04-03 01:14:57 Logic Mathematical logic Abstraction Model theory Non-classical logic Logic in computer science Predicate logic First-order logic Boolean satisfiability problem Gdel numbering Many-valued logic Kripke semantics
97	A Logic of Reasoning, Communication and Cooperation with Syntactic Knowledge Thomas ˚ Agotnes Michal Walicki Add to Reading List Source URL: folk.uib.no Language: English - Date: 2006-10-10 15:15:32 Logic Mathematical logic Philosophy Formal epistemology Modal logic Artificial intelligence Belief Epistemic modal logic Non-classical logic Logic programming Epistemic closure FO
98	Sunday, 21 9:00-10:00 10:00-10:30 10:30-10:55 10:55-11:20 11:20-11:45 Add to Reading List Source URL: logica.dmi.unisa.it Language: English - Date: 2015-06-18 11:41:28 Logic Mathematics Algebra Fuzzy logic Non-classical logic Lattice theory Mathematical logic Algebraic logic Monoidal t-norm logic BL Residuated lattice MV-algebra
99	Classical Interpretation of the Weinberg Soft Factor Sabrina Gonzalez Pasterski (Dated: July 31, 2014) I show how the radiation emitted during the scattering of non-relativistic charged particles corresponds to the O(ω Add to Reading List Source URL: physicsgirl.com Language: English - Date: 2014-08-06 12:02:05
100	Philosophy Compass): 834–845, phc3Strange Parts: The Metaphysics of Non-classical Mereologies A. J. Cotnoir* University of St Andrews Add to Reading List Source URL: www.st-andrews.ac.uk Language: English - Date: 2014-09-15 06:09:50

UPDATE